Matthias Felleisen - PDFSEARCH.IO - Document Search Engine

Matthias Felleisen
Results: 83

#	Item
71	Contracts for First-Class Modules ∗ T. Stephen Strickland Matthias Felleisen PLT @ Northeastern University, Boston, Massachusetts Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54
72	How to Design Class Hierarchies Matthias Felleisen PLT Northeastern University, Boston Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2005-11-19 12:19:43 OO FP Computer science Education in the United States Computing How to Design Programs Matthias Felleisen Shriram Krishnamurthi
73	Contracts for Higher-Order Functions Robert Bruce Findler1 Matthias Felleisen Northeastern University College of Computer Science Boston, Massachusetts 02115, USA Add to Reading List Source URL: users.eecs.northwestern.edu Language: English - Date: 2008-12-19 01:19:12 Spectral theory Mathematics Applied mathematics Computer science Computability theory Lambda calculus Theoretical computer science
74	Practical Variable-Arity Polymorphism T. Stephen Strickland, Sam Tobin-Hochstadt, and Matthias Felleisen PLT @ Northeastern University Abstract. Just as some functions have uniform behavior over distinct types, other fun Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-01-16 15:37:27 Mathematics Data types Subroutines Universal algebra Lambda calculus Type inference Type system Variadic function Map Software engineering Type theory Computing
75	The Design and Implementation of Typed Scheme Sam Tobin-Hochstadt Matthias Felleisen PLT, Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-01-16 15:37:27 Type theory Racket Type system Type safety Lambda calculus Scheme Programming language System F Type inference Software engineering Programming language theory Computing
76	Logical Types for Untyped Languages ∗ Sam Tobin-Hochstadt Matthias Felleisen Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-01-16 15:37:27 Type theory Deduction Philosophy of language Logical syntax Propositional calculus Natural deduction Function Symbol Lambda calculus Logic Mathematics Mathematical logic
77	Complete Monitors for Behavioral Contracts⋆ Christos Dimoulas, Sam Tobin-Hochstadt, and Matthias Felleisen Northeastern University, Boston, Massachusetts, USA {chrdimo,samth,matthias}@ccs.neu.edu Abstract. A behaviora Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-01-16 15:37:27 Mathematics Logic in computer science Differential geometry Programming language semantics Algebraic geometry Field theory Valuation
78	Gradual Typing for First-Class Classes ∗ Asumu Takikawa T. Stephen Strickland Christos Dimoulas Sam Tobin-Hochstadt Matthias Felleisen Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-01-16 15:37:27 Programming language theory Data types Object-oriented programming Formal methods Polymorphism Mixin Type safety Subtype polymorphism Type system Software engineering Computing Type theory
79	A Stepper for Scheme Macros Ryan Culpepper Matthias Felleisen Northeastern University Add to Reading List Source URL: scheme2006.cs.uchicago.edu Language: English - Date: 2006-08-29 21:53:24 Functional languages Lisp programming language Transformation languages Source code Macro programming languages Hygienic macro Macro Common Lisp Scheme Software engineering Computing Computer programming
80	Modeling an Algebraic Stepper John Clements, Matthew Flatt , and Matthias Felleisen Department of Computer Science Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2014-03-07 08:17:37 Lisp programming language Functional programming Models of computation Procedural programming languages Cons Lambda calculus Monad Fold S-expression Software engineering Computing Computer programming

UPDATE